package com.synthefact.daj.model;

import java.util.List;

/**
 * An interface for testing the state of a list of programs
 */
public interface GlobalAssertionIf {

    /**
     * Returns true if all programs in the list pass the test
     */
    public abstract boolean test(List<ProgramIf> programs);
}
